101. Automated technology for verification and analysis :
Author: Shuvendu K. Lahiri, Chao Wang (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence, Congresses.,Automatic theorem proving, Congresses.,3D graphics & modelling.,Artificial intelligence.,Automatic theorem proving.,Computer programming-- software development.,Computer security.,Computers-- Computer Simulation.,Computers-- Programming-- General.,Computers-- Programming Languages-- General.,Computers-- Security-- General.,Computers-- Software Development & Engineering-- General.,Mathematical theory of computation.,Mathematics-- Logic.,Programming & scripting languages: general.,Software Engineering.
Classification :
QA76
.
9
.
A96
103. BL,BL
Author: / Marshall G.S. Hodgson. ,20090530 0
Library: Library of Islamic Parliament (Tehran)
Subject:
104. Basic Mathematics for Economics, Business and Finance
Author: / Ummer, EK
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: COMPUTER SCIENCE, SOFTWARE ENGINEERING
Classification :
E-BOOK
105. Bayesian networks
Author: Marco Scutari, Jean-Baptiste Denis.,Scutari, Marco,
Library: Library of College of Science University of Tehran (Tehran)
Subject: Bayesian statistical decision theory.,R (Computer program language)
Classification :
QA279
.
5
.
S38
2021
106. Bayesian optimization and data science
Author: Francesco Archetti, Antonio Candelieri
Library: Library of College of Science University of Tehran (Tehran)
Subject: Bayesian statistical decision theory,Data mining,Machine learning,a03,a05,a05
Classification :
QA279
.
5
107. Bidirectional transformations :
Author: Jeremy Gibbons, Perdita Stevens (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Transformations (Mathematics), Congresses.,Business & Economics-- Information Management.,Computer programming-- software development.,Computers-- Database Management-- General.,Computers-- Programming-- General.,Computers-- Software Development & Engineering-- General.,Databases.,Information architecture.,Software Engineering.,Transformations (Mathematics)
Classification :
QA601
108. Bioinformatics and phylogenetics :
Author: Tandy Warnow, editor.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Bioinformatics.,Computational biology.,Phylogeny.,Bioinformatics.,Computational biology.,Phylogeny.
Classification :
QH324
.
2
109. Boolean functions
Author: / Yves Crama, Peter L. Hammer
Library: Central Library of University of Social Welfare and Rehabilitation Sciences (Tehran)
Subject: Algebraic functions,Algebra, Boolean
Classification :
QA341
.
C73
2011
110. Boolean functions
Author: / Yves Crama, Peter L. Hammer
Library: Razi Psychiatric Center Library (Tehran)
Subject: Algebraic functions,Algebra, Boolean
Classification :
QA341
.
C73
2011
111. Boolean functions: theory, algorithms, and applications
Author: Crama, Yves
Library: Central Library and Documents Center of Industrial University of Khaje Nasiredin Toosi (Tehran)
Subject: ، Algebraic functions,، Algebra, Boolean
Classification :
QA
341
.
C73
112. Boundary Value Problems for Engineers :
Author: Ali Ümit Keskin.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Boundary value problems.,Engineering mathematics.,Boundary value problems.,Engineering mathematics.
Classification :
TA330
.
K47
2019
113. Building Innovation Pipelines through Computer-Aided Innovation
Author: edited by Denis Cavallucci, Roland Guio, Gaetano Cascini.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence.,Computer science.,Computer simulation.,Computer-aided design.,Engineering mathematics.,Software engineering.
114. Building and solving mathematical programming models in engineering and science /
Author: Enrique Castillo [and others]
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Engineering models,Programming (Mathematics)
Classification :
T57
.
7
.
B85
2001
115. CAD/CAM in Practice :
Author: by A.J. Medland, Piers Burnett.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Physical Sciences & Mathematics.,Science (General),Sciences - General.
Classification :
TS155
.
6
B935
1986
116. CAST Methods in Modelling :
Author: edited by Franz Pichler, Heinz Schwärtzel.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Computer-aided design.,Engineering mathematics.
Classification :
TA168
.
E358
1992
117. COMPSTAT 2004 - Proceedings in Computational Statistics
Author: edited by Jaromir Antoch.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Information storage and retrieval systems.,Mathematical statistics.,Statistics.
118. Categories for software engineering
Author: / Josae Luiz Fiadeiro
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Computer software--Development,Categories (Mathematics)
Classification :
QA
,
76
.
76
,.
D47
,
F53
,
2005
119. Categories for software engineering
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Computer software ; Development. ; Categories (Mathematics) ;
120. Categories for software engineering
Author: Jose Luiz Fiadeiro
Library: Vali Asr University Central Library (Kerman)
Subject: Computer software- Development,Categories )Mathematics(
Classification :
QA
76
.
76
.
D47
,
F53
2005
